More from this Author

Theorem Proving in Higher Order Logics

by J. Grundy (Editor), Malcolm C. Newey (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)